REF, NoConds
\\[0ex]SplitOnHypITE \$n  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(if (\$n) =0 then SplitOnConclITE else SplitOnHypITE (\$n))$\cdot$